University of Science and Technology

Results: 13807



#Item
171

On Context Bisimulation for Parameterized Higher-order Processes Xian Xu ∗ Department of Computer Science and Technology East China University of Science and Technology, Shanghai, China P.Rc

Add to Reading List

Source URL: www.cs.unibo.it

- Date: 2013-06-01 06:22:49
    172

    Missouri University of Science and Technology Office of the Chancellor Date of Current Revision: June 1, 2011 Date of Original Issue: October 29, 1996 Originally Issued By: John T. Park

    Add to Reading List

    Source URL: chancellor.mst.edu

    - Date: 2014-10-15 05:11:14
      173

      re:search Fall 2016 An inside look at innovation and discovery at Missouri University of Science and Technology PREVENTION WITH A

      Add to Reading List

      Source URL: sponsoredprograms.mst.edu

      - Date: 2016-09-13 15:07:01
        174

        Interaction Evaluation for Human-Computer Co-creativity: A Case Study Anna Kantosalo, Jukka M. Toivanen, Hannu Toivonen Department of Computer Science and Helsinki Institute for Information Technology HIIT University of

        Add to Reading List

        Source URL: computationalcreativity.net

        - Date: 2015-10-27 08:25:15
          175

          On the Analysis of Stochastic Timed Systems Thesis for obtaining the title of Doctor of Engineering Science of the Faculty of Natural Science and Technology I of Saarland University

          Add to Reading List

          Source URL: universaar.uni-saarland.de

          - Date: 2015-07-24 11:43:41
            176

            A Cloud-Based Editor for Multilingual Grammars Thomas Hallgren Ramona Enache Aarne Ranta Department of Computer Science and Engineering Chalmers University of Technology and University of Gothenburg

            Add to Reading List

            Source URL: www.aclweb.org

            - Date: 2015-07-25 01:15:04
              177

              MEDIA ARTS & TECHNOLOGY http://www.mat.ucsb.edu College of Letters and Science College of Engineering University of California, Santa Barbara

              Add to Reading List

              Source URL: mat.ucsb.edu

              - Date: 2013-04-29 20:15:25
                178

                MISSOURI UNIVERSITY OF SCIENCE AND TECHNOLOGY Division of Enrollment Management http://enrollment.mst.edu | AYUpdatedDr. Robert Marley

                Add to Reading List

                Source URL: enrollment.mst.edu

                - Date: 2016-06-17 17:00:19
                  179

                  Quantitative Trace Analysis using Extended Timing Diagrams Andreas Richter and Klaus Kabitzsch Dresden University of Technology, Institute of Applied Computer Science, Chair of Technical Information Systems, DDres

                  Add to Reading List

                  Source URL: rv2012.ku.edu.tr

                  - Date: 2012-10-05 08:23:59
                    180

                    [Draft, references to be added later] Naturalism, Pragmatism and the Retreat from Metaphysics: Scientific versus Subject Naturalism Jonathan Knowles Philosophy Department Norwegian University of Science and Technology

                    Add to Reading List

                    Source URL: www.nordprag.org

                    - Date: 2014-04-05 09:36:29
                      UPDATE